Petri-Net相关论文
如今,大多数企业都使用信息系统来进行业务过程管理。其中,很大一部分的信息系统,都会使用工作流模型描述任务关系并维护整个业务......
我国地下煤矿开采环境恶劣,各类安全事故时有发生。部署无线传感器网络实时监控煤矿采空区生产和人员安全,提高突发灾难预警的及时......
BPM是继工作流(Workflow)之后业界研究和实现业务管理的又一个新方向和热点,它不仅结合了最新的信息技术,对贯穿整个企业经营活动......
在终端区入侵检测应用中,因其结构较为复杂,且航空器的运行数量较多,存在防御冲突危险,研究影响航空安全,对此基于禁止弧及库所不......
本文采用组件化的方法,通过Petri网对工作流过程模型进行组件形式的建模,以降低建模的难度,提高建模的效率,提高模型的可复用性和......
一个完整的工作流通常包含需要执行的任务集、各任务之间的依赖关系以及支持各任务执行的相应资源类型和执行任务所需的时间等,然......
在黑启动过程中,建立相应的发电机、母线及线路开关等分层主体,进行相互通信与协调控制,实时监测电力系统的状态变化,并采用Petri-......
在黑启动过程中,建立相应的发电机、母线及线路开关等分层主体,进行相互通信与协调控制,实时监测电力系统的状态变化,并采用Petri-......
虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率。本文提出一种使用P......
针对当前工作流模型没有明显的时间约束以及缺乏对复杂工作流系统支持的现状,对经典Petri网在时间和层次方面进行扩展,提出了一个......
以Petri网为建模工具,以Profibus现场总线为通信手段,用一台工业机器人和一部有轨小车作为物料输运工具,将一台加工中心、一台数控......
Petri网具有坚实的理论基础和易于使用的图形表示，是一种理想的建模和分析工具，因此在工作流的建模和分析方面具有广泛的应用。本文......
语义Web服务组合的形式化描述和验证，是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程（Answer SetProgramming）的OW......
CA证书管理是PKI网络安全体系实施的关键,它涉及到密钥和证书从创建到撤销的整个过程.文中使用Petri网理论中的库所/变迁系统模型......
针对现有的组件服务发现方法存在自动识别率和重复使用率低下的问题,文中首先利用Petri网理论设计了一种自动组件服务发现框架,用......
针对单装备件需求量确定问题，分析影响备件需求量确定的约束因素，包括备件的保障费用和装备的使用可用度等，由此建立单装备件需求量确......
建立了一种应用于基于RFID（无线射频识别）的单件生产实验系统的四自由度机械手控制的Petri网模型，给出了其控制方法，使其能完成零件的......
工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求,在探讨和总结当前比较流行的几种工作流建模方法优劣的基......
文章提出了一种应用Petri网（PN）对MAS会话进行建模的新方法，对Agent会话的过程行了研究与分析，以英式拍卖协议中Agent会话为例，设计了拍......
针对目前缺乏评估现有流程相似性算法性能的基准数据集问题,在IBM公开的数据集基础上,用Petri网建模流程模型,提出一种评估流程相......
文章在分析机器人足球的角色的基础上，提出了用Petri-net来描述角色转换的原理，该方法简洁明了，完全适用于机器人足球多协调决策系统......
文章在分析机器人足球的角色的基础上，提出了用Petri-net来描述角色转换的原理，该方法简洁明了，完全适用于机器人足球多协调决策系统......
为两段提交协议构造了Petri网模型,并在此模型的基础上运用Petri网理论的方法对两段提交协议进行了分析.为进一步研究和改进两段提......
...
机场场面航空器的动态最优滑行路径研究是A-SMGCS的前提和关键,包括动态路径规划和滑行时间调度两方面.针对A-SMGCS中动态路径规划......
采用赋时库所Petri-Net对非流水型的生产作业建立一般的调度模型，然后对模型进行代数化的描述，同时证明了非流水型生产调度问题的解......
应用Petri网建模与工作流技术,构建了担保业务管理系统工作流的Petri网模型,并对一个担保业务管理系统工作流实例,给出了基于Petri......
广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤......
面向Web服务的工作流系统能很好地满足现代企业应用集成和协作的需求，Web服务流程模型的建立是实现Web服务集成的重要环节。Petri网......
提出在基于Petri网理论的基础上扩充得到工作流Petri网,依此来对工作流过程进行建模———工作流管理中的关键技术.通过一个服装设......
会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议，在RFC中没有严格地给出其行为的形式化模型。论文利用确定与随机Petri......
分形图形技术存在着迭代复杂、计算量大和模型固定等问题,将Petri网理论中的建模控制和并行计算与分形技术相结合,解决了计算量大......
随着计算机科学的不断发展，对离散数学的研究也日益重要。如何将基础理论和专业知识更好地融会贯通，是提高离散数学教学质量的重要途......
安全自毁系统对于防止导弹发射出现重大事故具有重要作用，为此，通过对导弹安全自毁系统工作过程的分析，建立了该系统的Petri网模型。......
Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri......
需求形式化建模和模型检验可以提高安全关键软件的可信性,但在模型描述、调试和解释能力方面存在局限。对使用Petri网支持软件系统......
用Petri网建立的模型更有利于动态仿真，适合建模具有同步、并发、资源共享的系统。利用Petri网对海军战役装备指挥信息流程系统进行......
介绍了开关磁阻电动机的准线性数学模型,以此为基础,使用Matlab/Simulink建立了通用的开关磁阻电机仿真模型;设计了电压斩波控制,......
在分析可靠性框图模型和Petri网模型在舰船可靠性仿真应用特点的基础上,提出嵌入Petri网的可靠性框图模型,并给出具体的仿真算法。......
针对软件过程建模中存在的诸多问题,提出了一个基于并行性挖掘与延拓技术的软件过程建模模型,并利用此模型对火车调度系统进行了建......
以传统Petri网理论为基础进行形式化描述其控制流.并结合基于角色任务的访问控制(RTBAC),通过扩展了时间特性以及颜色特性的Petri......
针对变工况切换过程中切换点难以确定且切换准则不完善等问题,以大范围升温过程为例,利用仿人智能控制中“全压—零制动—稳态调节......
综述了两种工作流系统性能评价方法,它们是基于模型的分析和模拟方法,并且分析了这两种方法的优缺点,最后提出了工作流系统性能评......
在分析跳汰选煤生产系统及其过程控制系统的基础上，利用面向Agent计算原理和方法，提出一个面向Agent的跳汰选煤MAS挚体框架结构，给出......
本文为RBAC模型提出了一个基于着色Petri网的策略规格说明和分析的架构.Petri网能够捕获基数、责任分离等约束,而且能对优先和依赖......
从简单Petri网开始，用子网代替初始简单网的库所或变迁。系统的设备、资源及其动态协作关系用Petri资源、库所、变迁描述。在论述了......
为解决在具有并发、竞争控制的PLC控制系统中传统的PLC程序设计方法存在不适用,而且易导致程序出错并且难以检查错误等问题,利用Pe......
提出了一种描述和构造通讯设备或通讯介质的Petri网模型,以该模型为基础给出了一个设计网络的Petri网模型的方法,并且给出了一个使......
研究了工作流技术在公文流转系统中的应用，结合实际应用环境，选择Petri网作为工作流建模的工具，将工作流的路由结构、触发机制引入到......
